Type inference for record concatenation and multiple inheritance
نویسندگان
چکیده
منابع مشابه
Type Inference for Record Concatenation and Multiple Inheritance
We show that the type inference problem for a lambda calculus with records, including a record concatenation operator, is decidable. We show that this calculus does not have principal types, but does have nite complete sets of types: that is, for any termM in the calculus, there exists an e ectively generable nite set of type schemes such that every typing for M is an instance of one the scheme...
متن کاملType inference for record concatenation and subtyping
Record concatenation, multiple inheritance, and multiple-object cloning are closely related and part of various language designs. For example, in Cardelli’s untyped Obliq language, a new object can be constructed from several existing objects by cloning followed by concatenation; an error is given in case of field name conflicts. Type systems for record concatenation have been studied by Wand, ...
متن کاملType Inference and Principal Typings for Symmetric Record Concatenation and Mixin Modules
The obvious simple type system for a λ-calculus extended with recordconcatenation has a typability problem that was believed to be expensive,and which we prove NP-complete. Some previous approaches to this prob-lem employ subtyping polymorphism. We present Bowtie, a system of simpletypes for record concatenation which has principal typings, no subtyping, anda clean separatio...
متن کاملA Type System for Record Concatenation and Subtyping
We deene an extension of a second-order type system with records, subtyping and record concatenation. This system can model the most important concepts of object-oriented languages. The novelty in our approach is that concatenation is only permitted if the types on common elds agree. We give examples of how object-oriented concepts can be modeled and show how the system can be translated to a t...
متن کاملSimplifying JavaScript with Concatenation-Based Prototype Inheritance
As a result of the ongoing paradigm shift towards web-based software, the JavaScript language has become one of the most widely used programming languages in the world. In this paper we propose some extensions to JavaScript in order to support concatenation-based prototype inheritance – an alternative model of object-oriented programming that was first introduced in the early 1990s.
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Information and Computation
سال: 1991
ISSN: 0890-5401
DOI: 10.1016/0890-5401(91)90050-c